#include "watchdog.h"
#include "soft_timer.h"

void kick_watchdog(void)
{
  P1OUT ^= BIT5;
}

void watchdog_enable(void)
{
  P1DIR |= BIT5;
  P1OUT |= BIT5;
  soft_timer_start(TIMER_ID_KICK_WATCHDOG, TIMER_INTERVAL_KICK_WATCHDOG,
                   TIMER_FLAG_PERIODIC, kick_watchdog);
}
